Towards E cient Modelling of Distributed Knowledge Using Equational and Order-Sorted Logic

Reasoning about multiple interacting agents is important for many areas of research such as distributed computing, artiicial intelligence, game theory, decision theory, cognitive science, economics and psychology. J. Y. Halpern and colleagues HM90, HF89, HT93] have proposed the use of multiagent epistemic logics to formalise reasoning about multiple agents. In the present paper we extend their proposal to allow grouping of agents, and propose a strategy to build eecient resolution-based logic programs for automated reasoning about interacting agents.